BEGIN  { print 0x81c3e8, 0x744018, 00.34 }
